<html>
<head><meta charset="utf-8"><title>meeting 2019.07.02 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html">meeting 2019.07.02</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="169509445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509445">(Jul 02 2019 at 19:00)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> :)</p>



<a name="169509506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509506">(Jul 02 2019 at 19:01)</a>:</h4>
<p>Hi!</p>



<a name="169509525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509525">(Jul 02 2019 at 19:01)</a>:</h4>
<p>I’m sort of here, but err on my phone</p>



<a name="169509526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509526">(Jul 02 2019 at 19:01)</a>:</h4>
<p>how is everybody ?</p>



<a name="169509556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509556">(Jul 02 2019 at 19:01)</a>:</h4>
<p>the usual <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AgJbLBUbAKAkm05h3ztoab0NAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AgJbLBUbAKAkm05h3ztoab0NAg-hk3a9ynduUN2gk1A0NNTF">WIP roadmap</a></p>



<a name="169509601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509601">(Jul 02 2019 at 19:02)</a>:</h4>
<p>hopefully everyone had a pleasant week</p>



<a name="169509631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509631">(Jul 02 2019 at 19:02)</a>:</h4>
<p>I saw Niko and Albin got the rustc PR done <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> (minus some details around rebasing etc)</p>



<a name="169509649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509649">(Jul 02 2019 at 19:03)</a>:</h4>
<p>Yes! Everything seems to be working finally, knock on wood</p>



<a name="169509700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509700">(Jul 02 2019 at 19:03)</a>:</h4>
<p>(<span class="user-mention" data-user-id="218716">@lokalmatador</span> won't be with us tonight btw — they can keep us updated whenever they have the time to do so :)</p>



<a name="169509754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509754">(Jul 02 2019 at 19:04)</a>:</h4>
<p>the rustc PR can probably be dealt with soon</p>



<a name="169509782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509782">(Jul 02 2019 at 19:04)</a>:</h4>
<p>great! btw, I will be on vacation starting July 15 until mid-August</p>



<a name="169509790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509790">(Jul 02 2019 at 19:04)</a>:</h4>
<p>I may or may not be online in that time :)</p>



<a name="169509795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509795">(Jul 02 2019 at 19:04)</a>:</h4>
<p>Not very much</p>



<a name="169509814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509814">(Jul 02 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> do you feel you could review the final additions on it btw or would you prefer niko to do it ? (also if you have the time ofc)</p>



<a name="169509822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509822">(Jul 02 2019 at 19:04)</a>:</h4>
<p>(We should definitely try to get those PRs merged before I go)</p>



<a name="169509852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509852">(Jul 02 2019 at 19:05)</a>:</h4>
<p>shaking my head at the lack of greek flag emoji</p>



<a name="169509893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509893">(Jul 02 2019 at 19:05)</a>:</h4>
<p>I myself, thanks to Matthew, have been able to make some more progress on the rust test suite</p>



<a name="169509968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509968">(Jul 02 2019 at 19:06)</a>:</h4>
<p>Hm, do we think there’s any chance to have any of the other parts of initialisation done before 15th?</p>



<a name="169509986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169509986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169509986">(Jul 02 2019 at 19:06)</a>:</h4>
<p>it's I think almost ready for you to take a look Niko if you have some time (which I doubt)</p>



<a name="169510047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510047">(Jul 02 2019 at 19:07)</a>:</h4>
<p>sounds plausible to me</p>



<a name="169510069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510069">(Jul 02 2019 at 19:07)</a>:</h4>
<p>what would you need Albin, some mentoring guidance probably ?</p>



<a name="169510088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510088">(Jul 02 2019 at 19:07)</a>:</h4>
<p>Probably, but I have some ideas for what to do.</p>



<a name="169510133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510133">(Jul 02 2019 at 19:08)</a>:</h4>
<p>And I think I could sort of experiment my way if I had to</p>



<a name="169510154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510154">(Jul 02 2019 at 19:08)</a>:</h4>
<p>I’m just worried I won’t have enough actual things in my master’s thesis, but I guess I can fill it up with studies of input data, some type system stuff and so on</p>



<a name="169510164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510164">(Jul 02 2019 at 19:09)</a>:</h4>
<p>It doesn’t have to be good anymore, it just has to pass review :)</p>



<a name="169510190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510190">(Jul 02 2019 at 19:09)</a>:</h4>
<p>we can all try to pitch in to get that done</p>



<a name="169510215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510215">(Jul 02 2019 at 19:09)</a>:</h4>
<p>Thanks :)</p>



<a name="169510276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510276">(Jul 02 2019 at 19:10)</a>:</h4>
<p>I was wondering about how to improve our coverage, like the smoke tests</p>



<a name="169510279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510279">(Jul 02 2019 at 19:10)</a>:</h4>
<p>and also fact generation itself</p>



<a name="169510287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510287">(Jul 02 2019 at 19:10)</a>:</h4>
<p>But actually a hard deadline for features on July 15th thereabouts sounds good because then I have the rest of July to work on the report and August off</p>



<a name="169510315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510315">(Jul 02 2019 at 19:10)</a>:</h4>
<p>Do we even have a way to measure test coverage?</p>



<a name="169510322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510322">(Jul 02 2019 at 19:11)</a>:</h4>
<p>what kind of a plan we could have in order to improve correctness from the rustc angle of the polonius integration</p>



<a name="169510357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510357">(Jul 02 2019 at 19:11)</a>:</h4>
<p>in general somewhat, but maybe not in this particular instance</p>



<a name="169510377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510377">(Jul 02 2019 at 19:11)</a>:</h4>
<p>esp talking about the coverage of fact generation of existing rust code for example</p>



<a name="169510445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510445">(Jul 02 2019 at 19:12)</a>:</h4>
<p>which sounds harder to automate than just coverage instrumentation :)</p>



<a name="169510471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510471">(Jul 02 2019 at 19:12)</a>:</h4>
<p>Definitely, in particular given how spread out the fact generation code is</p>



<a name="169510502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510502">(Jul 02 2019 at 19:13)</a>:</h4>
<p>Matthew knows more about the problems and missing features there but there are definitely things to improve</p>



<a name="169510539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510539">(Jul 02 2019 at 19:13)</a>:</h4>
<p>but some of the test failures we see are very likely caused by these bugs/missing features there</p>



<a name="169510603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510603">(Jul 02 2019 at 19:14)</a>:</h4>
<p>so this is what I'll try to focus some of my time this week, even though I'm not exactly sure how, yet</p>



<a name="169510662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510662">(Jul 02 2019 at 19:15)</a>:</h4>
<p>and we'll try to get Albin set up for initialization as well :)</p>



<a name="169510684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510684">(Jul 02 2019 at 19:15)</a>:</h4>
<blockquote>
<p>I’m just worried I won’t have enough actual things in my master’s thesis, but I guess I can fill it up with studies of input data, some type system stuff and so on</p>
</blockquote>
<p>I can certainly try to lay out concrete plans</p>



<a name="169510732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510732">(Jul 02 2019 at 19:16)</a>:</h4>
<p>but I do wonder if the other material cited here might be more realistic</p>



<a name="169510737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510737">(Jul 02 2019 at 19:16)</a>:</h4>
<p>it's an extra busy time for me over next week or two :)</p>



<a name="169510740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510740">(Jul 02 2019 at 19:16)</a>:</h4>
<p>but it'd be good to do that work anyway</p>



<a name="169510750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510750">(Jul 02 2019 at 19:16)</a>:</h4>
<p>have you talked to Tobias re: what is "sufficient" for the thesis?</p>



<a name="169510757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510757">(Jul 02 2019 at 19:16)</a>:</h4>
<p>No, but I should</p>



<a name="169510766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510766">(Jul 02 2019 at 19:16)</a>:</h4>
<p>I was kind of assuming the thesis would focus on the liveness work</p>



<a name="169510783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510783">(Jul 02 2019 at 19:17)</a>:</h4>
<p>but I agree that if we could get initialization done that'd be awesome</p>



<a name="169510784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510784">(Jul 02 2019 at 19:17)</a>:</h4>
<p>I tried in a roundabout way, but he sort of dodged the question</p>



<a name="169510792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510792">(Jul 02 2019 at 19:17)</a>:</h4>
<p>So I’ll try asking directly</p>



<a name="169510807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510807">(Jul 02 2019 at 19:17)</a>:</h4>
<p>did it go something like that: "you should do all of the things Albin" — Tobias, 2019</p>



<a name="169510907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169510907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169510907">(Jul 02 2019 at 19:19)</a>:</h4>
<p>Actually, it went something like “Niko suggested we crop the scope of the project to just the initialization in order to finish in time, would that be too little?” “Ok.”</p>



<a name="169511027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511027">(Jul 02 2019 at 19:20)</a>:</h4>
<p>since it's going to be a busy time <span class="user-mention" data-user-id="116009">@nikomatsakis</span> who do you think could help here ? if it's generally about the existing initialization, Felix, Eddy and Matthew would probably know a lot more than us</p>



<a name="169511045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511045">(Jul 02 2019 at 19:20)</a>:</h4>
<p>Seems likely</p>



<a name="169511060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511060">(Jul 02 2019 at 19:20)</a>:</h4>
<p>I'm trying to remember how much we covered in the video chats thus far</p>



<a name="169511114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511114">(Jul 02 2019 at 19:21)</a>:</h4>
<p><a href="https://www.youtube.com/watch?v=ilv9V-328HI" target="_blank" title="https://www.youtube.com/watch?v=ilv9V-328HI">this one</a> for those following at home</p>
<div class="youtube-video message_inline_image"><a data-id="ilv9V-328HI" href="https://www.youtube.com/watch?v=ilv9V-328HI" target="_blank" title="https://www.youtube.com/watch?v=ilv9V-328HI"><img src="https://i.ytimg.com/vi/ilv9V-328HI/default.jpg"></a></div>



<a name="169511134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511134">(Jul 02 2019 at 19:21)</a>:</h4>
<p>well I could certainly try to sketch out a plan in a polonius issue and I'm sure <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> can point out all the things I've overlooked =)</p>



<a name="169511146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511146">(Jul 02 2019 at 19:21)</a>:</h4>
<p>But I’ll ask a more direct question and see what happens. Worst case I’ll just do all the things and delay starting my PhD, I have money for food and rent until December or so  and my future supervisor didn’t bat an eye when I asked him about it so that part is already taken care of.</p>



<a name="169511150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511150">(Jul 02 2019 at 19:21)</a>:</h4>
<p>and yes <span class="user-mention" data-user-id="116083">@pnkfelix</span> also did a lot of this work</p>



<a name="169511215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511215">(Jul 02 2019 at 19:22)</a>:</h4>
<p>oh man I don't want to be responsible for <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> eating ramen for a month :P</p>



<a name="169511223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511223">(Jul 02 2019 at 19:22)</a>:</h4>
<p>Excellent then we have plans a-z</p>



<a name="169511242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511242">(Jul 02 2019 at 19:22)</a>:</h4>
<p>Ramen is for newbs, oatmeal’s much cheaper and more nutritious</p>



<a name="169511316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511316">(Jul 02 2019 at 19:23)</a>:</h4>
<blockquote>
<p>well I could certainly try to sketch out a plan in a polonius issue and I'm sure <span class="user-mention silent" data-user-id="116118">Matthew Jasper</span> can point out all the things I've overlooked =)</p>
</blockquote>
<p>that would be awesome from the both of you</p>



<a name="169511440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511440">(Jul 02 2019 at 19:25)</a>:</h4>
<p>so sorry I got confused but</p>



<a name="169511446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511446">(Jul 02 2019 at 19:25)</a>:</h4>
<p>what is ready for me to review :)</p>



<a name="169511462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511462">(Jul 02 2019 at 19:25)</a>:</h4>
<p>almost ready</p>



<a name="169511475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511475">(Jul 02 2019 at 19:25)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/60266" target="_blank" title="https://github.com/rust-lang/rust/issues/60266">#60266</a></p>



<a name="169511487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511487">(Jul 02 2019 at 19:25)</a>:</h4>
<p>that is, ready apart from rebasing, despite the name and tag</p>



<a name="169511490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511490">(Jul 02 2019 at 19:25)</a>:</h4>
<p>(IIUC)</p>



<a name="169511536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511536">(Jul 02 2019 at 19:26)</a>:</h4>
<p>but, requires another small polonius PR</p>



<a name="169511553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511553">(Jul 02 2019 at 19:26)</a>:</h4>
<p>so these 2 things should be done like, soon</p>



<a name="169511558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511558">(Jul 02 2019 at 19:26)</a>:</h4>
<p>Yes, and I err forgot to open it</p>



<a name="169511616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511616">(Jul 02 2019 at 19:27)</a>:</h4>
<p>being correct wrt to <code>region_live_at</code> requires both a small polonius PR, + release, and the rustc PR requires a rebase and dependency update to get the polonius PR</p>



<a name="169511711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511711">(Jul 02 2019 at 19:28)</a>:</h4>
<p>OK</p>



<a name="169511713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511713">(Jul 02 2019 at 19:28)</a>:</h4>
<p>yep, sounds right</p>



<a name="169511714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511714">(Jul 02 2019 at 19:28)</a>:</h4>
<p>exciting though!</p>



<a name="169511721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511721">(Jul 02 2019 at 19:28)</a>:</h4>
<p>YES</p>



<a name="169511734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511734">(Jul 02 2019 at 19:28)</a>:</h4>
<p>so the plan this week looks like:<br>
- Albin: opens the small polonius PR, later rebases and updates the rustc PR<br>
- Niko: releases another polonius rev, maybe review the rustc PR (or Matthew) if any of the two have the time to do so<br>
- Niko: if they have time, describe a bit about initialization, and we'll get help from Felix and/or Matthew if they all have time<br>
- me: continue in some fashion on correctness<br>
- me: post the dang meeting notes PRs</p>



<a name="169511784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511784">(Jul 02 2019 at 19:29)</a>:</h4>
<p>(deleted)</p>



<a name="169511800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511800">(Jul 02 2019 at 19:29)</a>:</h4>
<p>(deleted)</p>



<a name="169511887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511887">(Jul 02 2019 at 19:30)</a>:</h4>
<p>question 1:</p>



<a name="169511891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511891">(Jul 02 2019 at 19:30)</a>:</h4>
<p>oops, sorry, wrong channel :)</p>



<a name="169511920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511920">(Jul 02 2019 at 19:31)</a>:</h4>
<p>does anyone have anything else they wanted to talk about ?</p>



<a name="169511953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169511953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169511953">(Jul 02 2019 at 19:32)</a>:</h4>
<p>No, all done!</p>



<a name="169512001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169512001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169512001">(Jul 02 2019 at 19:32)</a>:</h4>
<p>alright, then thanks a lot for your time everybody; enjoy the afternoon/evening :) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="169516392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169516392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169516392">(Jul 02 2019 at 20:27)</a>:</h4>
<p>Sorry I couldn't sit in on this one, but <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I offer you my services as a rubber duck literally any time. :) One of the best ways to learn something is to teach it. In fact, I am going to try to do some writing/blogging about Polonius to get my head into the source code. When I have something interesting, maybe I'll try to convince one of you to read it (or skim it). Cheers!</p>



<a name="169542103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.07.02/near/169542103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E07.2E02.html#169542103">(Jul 03 2019 at 06:07)</a>:</h4>
<p><span class="user-mention" data-user-id="226268">@Robert Jacobson</span> thank you, and I’d be happy to read your things :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>